what if the dinosaurs never went extinct